package systemfnomabss


trait Evaluator { self: Evaluator with AbstractSyntax =>

   def evaluate(t: LTerm) : LTerm  
   case class NoReductionPossibleExc(t:LTerm) extends Exception{
     override def toString() = "no reduction possible on "+t
   }
}